System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
881	GTS Virtual Hosting Environment Your scalable private virtual data center Managed and ICT solution Virtual Hosting Environment (VHE) is the equivalent of a private Data Center composed of a number of resources (computin Add to Reading List Source URL: www.gts.ro Language: English - Date: 2013-04-02 11:55:23 Virtual machines Web hosting Programming language implementation Server VM Cloud infrastructure IBM cloud computing Hardware virtualization System software Software Computing
882	Languages as Libraries Sam Tobin-Hochstadt Vincent St-Amour Ryan Culpepper Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Functional languages Type theory Source code Lisp programming language Racket Macro Programming language Type safety Type system Software engineering Computing Computer programming
883	Energy Inefficiency of Operating System Layers for Data-centric Infrastructures Shoaib Akram, Manolis Marazakis, and Angelos Bilas† Foundation for Research and Technology - Hellas (FORTH) Institute of Computer Science Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-08 02:17:07 Programming language implementation Hyper-V Solid-state drive Hypervisor Virtualization I/O virtualization Thread VM System software Software Virtual machines
884	A Programming System for Children that is Designed for Usability (Chapter 1) This document contains only Chapter 1 of the thesis. For citation, please refer to the full thesis document, which is available at: http://www. Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-09-13 13:17:21 Programming language User interface Computer programming Technology Communication Science Human–computer interaction Technical communication Usability
885	ZU064-05-FPR impldtp 15 September 2013 Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2013-09-15 12:12:41 Programming language theory Data types Functional programming Dependently typed programming Logic in computer science Lambda calculus System F Type system Curry–Howard correspondence Software engineering Computing Type theory
886	LENZING CLIENT OVERVIEW Lenzing AG is a global market leader in the production of man-made cellulose fibers with headquarters in Austria, production sites in all major markets as well as a worldwide network of Add to Reading List Source URL: www.efrontlearning.net Language: English - Date: 2014-05-30 14:42:04 PHP programming language Distance education Lenzing AG Lenzing E-learning Educational technology Learning management system Learning Management Workflow Education Learning EFront
887	Practical, Pluggable Types for a Dynamic Language ? Niklaus Haldiman Marcus Denker Oscar Nierstrasz Software Composition Group IAM — Universit¨ at Bern, Switzerland Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2008-09-19 08:21:59 Programming language theory Type system Type inference Subtype polymorphism Type safety Smalltalk Top type Annotation C Software engineering Type theory Computing
888	Erlang/OTP System Documentation Copyright © [removed]Ericsson AB. All Rights Reserved. Erlang/OTP System Documentation 6.3 December 9, 2014 Copyright © [removed]Ericsson AB. All Rights Reserved. Add to Reading List Source URL: www1.erlang.org Language: English - Date: 2014-12-11 06:30:05 Structured storage Ericsson Erlang Build automation Autoconf Mnesia Configure script WxWidgets Software Computing Erlang programming language
889	The Cerebus Project Ian Horswill, Rob Zubek, Aaron Khoo, Christopher Dac Le, and Shawn Nicholson Northwestern University Computer Science Department 1890 Maple Avenue, Evanston, IL 60201 {ian, rob, khoo, le, nicholson}@c Add to Reading List Source URL: www.cs.northwestern.edu Language: English - Date: 2003-01-31 17:41:37 Lisp programming language Cognitive science Robotics Action selection Motor control Lisp Reasoning system Cerebus the Aardvark Expert system Artificial intelligence Computing Science
890	Siebel eScript Language Reference Add to Reading List Source URL: docs.oracle.com Language: English - Date: 2004-04-28 06:35:32 Siebel Systems Method Siebel Objective-C Constructor Common Lisp Object System Software engineering Computer programming Object-oriented programming

UPDATE